// locutor
// (c) 2008-2009, Normen Müller, normen.mueller@gmail.com  
// $Id: Infom.scala 231 2009-09-16 09:09:29Z nmueller $
package info.kwarc.locutor.dg

//import java.net._
//
//import scaup.data._
//import scaup.xml.xpath.{Expr => XPath}
//
//case class Path(uri: URI, xp: XPath) {
//  override def toString = uri.toString + "#" + xp
//}
//
//case class Infom(path: Path, override val attributes: Set[Attr]) extends Node(path.toString,attributes)
////case class Dependent(override val id: String, override val attributes: Attr*) extends Infom(id, attributes:_*)
////case class Provider(override val id: String, override val attributes: Attr*) extends Infom(id, attributes:_*)
//
//case class ID(override val value: String) extends Attr("id",value)
//case class Label(override val value: String) extends Attr("label",value)
